(VAR X)
(STRATEGY CONTEXTSENSITIVE 
  (f 1)
  (c)
  (g)
  (d)
  (h 1)
)
(RULES 
f(f(X)) -> c(f(g(f(X))))
c(X) -> d(X)
h(X) -> c(d(X))
)